Trong lý thuyết số, định lý cuối cùng của Fermat (đôi khi còn được gọi là phỏng đoán của Fermat) được phát bểu rằng không tồn tại ba số nguyên dương 'a, b, c thỏa mãn phương trình : a n + b n = c n {\displaystyle a^{n}+b^{n}=c^{n}} cho bất kì giá trị số nguyên n nào lớn hơn 2. Các trường hợp n=1 và n=2 đã được biết đến từ thời cổ đại và có vô số cách giải.